home *** CD-ROM | disk | FTP | other *** search
- %% -*- mode:erlang; erlang-indent-level: 2 -*-
- {wpc_turnedge,
- [
- {menu,
- [
- {1,"Turn Edge"}
- ]},
- {menu_entry,
- [
- {1,"Turn"},
- {2,"Turn"},
- {3,"Turn edge"},
- {4,"Optimized Turn"},
- {5,"Turn edge only if new edge length would be shorter"}
- ]},
- {pref_edit,
- [
- {1,"Turn Edge Preferences"},
- {2,"Enabled"},
- {3,"Turn mode"},
- {4,"Turn Edge"},
- {5,"Rotate clockwise"},
- {6,"Rotate counterclockwise"}
- ]},
- {turn_help,
- [
- {1,"Turn edge"},
- {2,"Turns edge only if new edge length would be shorter"}
- ]}
- ]}.
-